- преобразование терма
- (логического выражения) term rewriting
Русско-английский словарь по вычислительной технике и программированию . 2013.
преобразование терма
Look at other dictionaries:
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
1: — Терминология 1: : dw Номер дня недели. «1» соответствует понедельнику Определения термина из разных документов: dw DUT Разность между московским и всемирным координированным временем, выраженная целым количеством часов Определения термина из… … Словарь-справочник терминов нормативно-технической документации
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ЭКВИВАЛЕНТНЫЕ ПРЕОБРАЗОВАНИЯ — управ ляющих систем преобразования, сохраняющие отношение эквивалентности (о. э.) управляющих систем (у. с.). Используются в задачах оптимизации, контроля, а также как средство характеризации (напр., аксиоматизации) определенных классов у. с.;… … Математическая энциклопедия
ЮЛИИ — • Iulii, очень старинный римский род, который, без сомнения, происходил из Альба Лонги и вел свое начало от Аскания или Юла, сына Энеева. Тулл Гостилий, разрушив Альба Лонгу, переселил Юлиев в Рим. Liv. 1, 30. Tac. ann. 11, 24. I … Реальный словарь классических древностей
